Relative Completeness of Incorrectness Separation Logic
arxiv.org·3h
🌸Bloom Filters
In Support Of Shitty Types
lucumr.pocoo.org·13h·
Discuss: Lobsters, Hacker News
📘Typescript
I wrote a free book on keeping systems flexible and safe as they grow — sharing it here
github.com·18h·
Discuss: r/programming
⚙️Language Runtimes
Hessian analysis with JAX: a platform-agnostic, high-performance approach
lesswrong.com·2h
🕯️Candle
LeetCode #70: Climbing Stairs
anmoltomer.bearblog.dev·3h
🧮SMT Solvers
The Generativity Pattern in Rust
arhan.sh·13h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Compiler Internals
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·21h
📋MCP
Depth=2
tristanpemble.com·12h·
Discuss: Hacker News
⚙️Language Runtimes
Who Am I in the Eye of AI?
lightcapai.medium.com·13h·
Discuss: Hacker News
🎭Claude
When Truth Is Overridden: Uncovering the Internal Origins of Sycophancy in Large Language Models
arxiv.org·3h
🧩Types
9 habits of the highly ineffective vibe coder
infoworld.com·22h
👨‍💻AI Coding
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·3h
📋MCP
Come Try Out Piglet
arnebrasseur.net·17h·
Discuss: Hacker News
🔎Tantivy
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·3h
🌸Bloom Filters
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·3h
👨‍💻Software development practices
A Gentle Introduction To Fortran
hackaday.com·14h·
Discuss: Lobsters, Hacker News, r/programming
🪄Prompt Engineering
Taming Eventual Consistency—Applying Principles of Structured Concurrency to Distributed Systems
reddit.com·15h·
Discuss: r/SoftwareEngineering
🌐Distributed systems
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·14h·
Discuss: blog.computationalcomplexity.org, Hacker News
🧮SMT Solvers
Software Internals Book Club
eatonphil.com·1h
💾Persistence Strategies
C++ coroutines prone to code-reuse attack despite control flow integrity
techxplore.com·14h
🕳LLM Vulnerabilities